The main result of this paper is Theorem 3.1 which is a criterion for weak o-minimality of a linearly ordered structure in terms of realizations of 1-types. Here we also prove some other properties of weakly o-minimal structures. In particular, we characterize all weakly o-minimal linear orderings in the signature $\{ . Moreover, we present a criterion for density of isolated types of a weakly o-minimal theory. Lastly, at the end of the paper we present some remarks on the Exchange (...) Principle for algebraic closure in a weakly o-minimal structure. (shrink)

We show that the c.e. Q1,N\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${Q_{1,N}}$$\end{document}-degrees are not an upper semilattice. We prove that if M is an r-maximal set, A is an arbitrary set and M≡Q1,NA\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${M \equiv{}_ {Q_{1,N}}A}$$\end{document}, then M≤mA\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${M\leq{}_{m} A}$$\end{document}. Also, if M1 and M2 are r-maximal sets, A and B are major subsets of M1 and M2, respectively, and M1\A≡Q1,NM2\B\documentclass[12pt]{minimal} \usepackage{amsmath} (...) \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${M_{1}{\setminus} A\equiv{}_{Q_{1,N}}M_{2}{\setminus} B}$$\end{document}, then M1\A≡mM2\B\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${M_{1}{\setminus}A\equiv{}_{m}M_{2}{\setminus} B}$$\end{document}. If M1 and M2 are r-maximal sets and M10,M11\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${M_{1}^{0},\,M_{1}^{1}}$$\end{document} and M20,M21\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${M_{2}^{0},\,M_{2}^{1}}$$\end{document} are nontrivial splittings of M1 and M2, respectively, then M10≡Q1,NM20\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${M_{1}^{0} \equiv{}_{Q_{1,N}}M_{2}^{0}}$$\end{document} if and only if M10≡1M20\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${M_{1}^{0} \equiv{}_{1}M_{2}^{0}}$$\end{document}. From this result follows that if A and B are Friedberg splitting of an r-maximal set, then the Q1,N\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${Q_{1,N}}$$\end{document}-degree of A contains only one c.e. 1-degree. (shrink)

يحلّل الباحث المغربي إبراهيم القادري بوتشيش في كتاب "خطاب العدالة في كتب الآداب السلطانية"، مفهوم العدالة كما تجلّى في الآداب السلطانية. ويحاول التوفيق بين الحقل الديني والحقل السياسي، ولا سيما أنّ النصوص السلطانية كانت دائمًا أداة مرجعية في أي محاولة لمواجهة المعضلات الفكرية العربية الراهنة. وهذا الكتاب الصادر عن المركز العربي للأبحاث ودراسة السياسات؛ مساهمة جديدة في صوغ أجوبة حديثة عن أسئلة قديمة وحديثة معًا مثل: مفهوم العدالة في الآداب السلطانية، والمرجعيات المولدة لخطاب العدالة لدى مؤلفي الآداب السلطانية، وموقع حقوق (...) الإنسان في الآداب السلطانية. (shrink)

Let A be an infinite Δ₂⁰ set and let K be creative: we show that K≤Q A if and only if K≤Q₁ A. (Here ≤Q denotes Q-reducibility, and ≤Q₁ is the subreducibility of ≤Q obtained by requesting that Q-reducibility be provided by a computable function f such that Wf(x)∩ Wf(y)=∅, if x \not= y.) Using this result we prove that A is hyperhyperimmune if and only if no Δ⁰₂ subset B of A is s-complete, i.e., there is no Δ⁰₂ subset (...) B of A such that \overline{K}≤s B, where ≤s denotes s-reducibility, and \overline{K} denotes the complement of K. (shrink)

We show that if M is an r‐maximal set, A is a major subset of M, B is an arbitrary set and, then. We prove that the c.e. ‐degrees are not dense. We also show that there exist infinite collections of ‐degrees and such that the following hold: (i) for every i, j,, and,(ii) each consists entirely of r‐maximal sets, and(iii) each consists entirely of non‐r‐maximal hyperhypersimple sets.

A Turing degreedis the degree of categoricity of a computable structure${\cal S}$ifdis the least degree capable of computing isomorphisms among arbitrary computable copies of${\cal S}$. A degreedis the strong degree of categoricity of${\cal S}$ifdis the degree of categoricity of${\cal S}$, and there are computable copies${\cal A}$and${\cal B}$of${\cal S}$such that every isomorphism from${\cal A}$onto${\cal B}$computesd. In this paper, we build a c.e. degreedand a computable rigid structure${\cal M}$such thatdis the degree of categoricity of${\cal M}$, butdis not the strong degree of categoricity (...) of${\cal M}$. This solves the open problem of Fokina, Kalimullin, and Miller [13].For a computable structure${\cal S}$, we introduce the notion of the spectral dimension of${\cal S}$, which gives a quantitative characteristic of the degree of categoricity of${\cal S}$. We prove that for a nonzero natural numberN, there is a computable rigid structure${\cal M}$such that$0\prime$is the degree of categoricity of${\cal M}$, and the spectral dimension of${\cal M}$is equal toN. (shrink)

We use certain strong Q-reducibilities, and their corresponding strong positive reducibilities, to characterize the hyperimmune sets and the hyperhyperimmune sets: if A is any infinite set then A is hyperimmune (respectively, hyperhyperimmune) if and only if for every infinite subset B of A, one has \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\overline{K}\not\le_{\rm ss} B}$$\end{document} (respectively, \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\overline{K}\not\le_{\overline{\rm s}} B}$$\end{document}): here \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\le_{\overline{\rm (...) s}}}$$\end{document} is the finite-branch version of s-reducibility, ≤ss is the computably bounded version of \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\le_{\overline{\rm s}}}$$\end{document}, and \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\overline{K}}$$\end{document} is the complement of the halting set. Restriction to \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\Sigma^0_2}$$\end{document} sets provides a similar characterization of the \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\Sigma^0_2}$$\end{document} hyperhyperimmune sets in terms of s-reducibility. We also show that no \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${A \geq_{\overline{\rm s}}\overline{K}}$$\end{document} is hyperhyperimmune. As a consequence, \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\deg_{\rm s}(\overline{K})}$$\end{document} is hyperhyperimmune-free, showing that the hyperhyperimmune s-degrees are not upwards closed. (shrink)

Recall that B is PA relative to A if B computes a member of every nonempty $\Pi ^0_1(A)$ class. This two-place relation is invariant under Turing equivalence and so can be thought of as a binary relation on Turing degrees. Miller and Soskova [23] introduced the notion of a $\Pi ^0_1$ class relative to an enumeration oracle A, which they called a $\Pi ^0_1{\left \langle {A}\right \rangle }$ class. We study the induced extension of the relation B is PA relative (...) to A to enumeration oracles and hence enumeration degrees. We isolate several classes of enumeration degrees based on their behavior with respect to this relation: the PA bounded degrees, the degrees that have a universal class, the low for PA degrees, and the ${\left \langle {\text {self}\kern1pt}\right \rangle }$ -PA degrees. We study the relationship between these classes and other known classes of enumeration degrees. We also investigate a group of classes of enumeration degrees that were introduced by Kalimullin and Puzarenko [14] based on properties that are commonly studied in descriptive set theory. As part of this investigation, we give characterizations of three of their classes in terms of a special sub-collection of relativized $\Pi ^0_1$ classes—the separating classes. These three can then be seen to be direct analogues of three of our classes. We completely determine the relative position of all classes in question. (shrink)

We show that the Δ0 2 enumeration degrees are dense. We also show that for every nonzero n-c. e. e-degree a, with n≥ 3, one can always find a nonzero 3-c. e. e-degree b such that b < a on the other hand there is a nonzero ωc. e. e-degree which bounds no nonzero n-c. e. e-degree.

jild-i 1. Az ʻAbd al-Ḥamīd Kātib (59 Sh.) tā Abū al-Ḥasan Masʻūdī (336 Sh.) -- jild-i 2. Az Abū al-Ḥasan ʻĀmirī (291 Sh.) tā Abū al-Faz̤l Bayhaqī (465 Sh.) -- jild-i 3. Az Nāṣir Khusraw (383 Sh.) tā Sadīd al-Dīn ʻAwfī (616 Sh.) -- jild-i 4. Az Najm al-Dīn Rāzī (553 Sh.) tā Fakhr al-Muḥaqqiqīn (748 Sh.) -- jild-i 5. Az ʻUbayd Zākānī (670 Sh.) tā Jalāl al-Dīn Sayūṭī (884 Sh.) -- jild-i 6. Az Rūzbihān Khunjī (825 Sh.) tā Shaykh (...) Ḥurr ʻĀmilī (1071 Sh.) -- jild-i 7. Az ʻAlāmah Majlisī (1006 Sh.) tā Muḥammad Bāqir Shafaq (1223 Sh.) -- jild-i 8. Az Muḥammad Ṣādiq Marvazī (1147 Sh.) tā Mīrzā Fatḥʻalī Ākhūndzādah (1289 Sh.) -- jild-i 9. Az Mīrzā-yi Shīrāzī Avval (1194 Sh.) tā Ākhūnd Khurāsānī (1290 Sh.) -- jild-i 10. Az ʻAbd Allāh Māzandarānī (1219 Sh.) tā Saʻd Zaghlūl (1306 Sh.) -- jild-i 11. Az ʻImād al-ʻUlamāʼ Khalkhālī (1237 Sh.) tā ʻAbd al-ʻAzīz S̲aʻālibī (1323 Sh.) -- jild-i 12. Az Āyat Allāh Burūjirdī (1254 Sh.) tā Muḥammad Amīn Rasūlʹzādah (1333 Sh.) -- jild-i 13. Az ʻAbd al-Karīm Zanjānī (1263 Sh.) tā Amīn al-Ḥusaynī (1353 Sh.) -- jild-i 14. Az Jamālzādah (1274 Sh.) tā Mahdī Bāzargān (1373) -- jild-i 15. Az Muḥammad Ḥamīd Allāh (1286 Sh.) tā Muṭahharī (1358 Sh.) -- jild-i 16. Az Farīdūn Ādamīyat (1299 Sh.) tā Muṣṭafá Khumaynī (1356 Sh.) -- jild-i 17. Az Samīr Amīn (1310 Sh.) tā Ḥasan Ḥanafī -- jild-i 18. Az Sayyid Muḥammad Bāqir Ṣadr (1314 Sh.) tā Rāshid al-Ghanūshī -- jild-i 19. Az ʻAlī Awmlīl (1321 Sh.) tā Ṭāriq Ramaz̤ān. (shrink)

Euphorion SH 417 deserves to be better known. A curiosity in itself—an apparent poetic reference to number theory—it is also, potentially, one of our earliest references to Euclidean material. On the authority of a late commentator on Aristotle, Euphorion, a mid-third-century b.c. Euboean poet who was also active in Athens and Antioch, is said to have mentioned perfect numbers—i.e. numbers which equal the total of all their factors, including 1 . It is a pity that the context in Euphorion does (...) not survive, and that the line is only preserved, and indeed interpreted, by so late a source. But the wording of the fragment—if Westerink's restoration of its various corruptions is plausible—would strongly suggest a reference to the notion of perfect number. The fragment has been known since Westerink published it in 1960, and was included both in Van Groningen's edition of Euphorion in 1977 and in Supplementum Hellenisticum . But its implications have still not been discussed, and when David Fowler came to gather the evidence for references to Euclidean material in and after the third century b.c. in The Mathematics of Plato's Academy, his attention, unsurprisingly, was not drawn to it. Euphorion has had a bad press, as a poet of rebarbatively obscure myth and intractable vocabulary; yet he holds some interest, and we may be missing more insights into the intellectual life of the Hellenistic period which the perverse intelligence and baneful wit of the fragments display. (shrink)

Euphorion SH 417 deserves to be better known. A curiosity in itself—an apparent poetic reference to number theory—it is also, potentially, one of our earliest references to Euclidean material. On the authority of a late commentator on Aristotle, Euphorion, a mid-third-century b.c. Euboean poet who was also active in Athens and Antioch, is said to have mentioned perfect numbers—i.e. numbers which equal the total of all their factors, including 1. It is a pity that the context in Euphorion does not (...) survive, and that the line is only preserved, and indeed interpreted, by so late a source. But the wording of the fragment—if Westerink's restoration of its various corruptions is plausible—would strongly suggest a reference to the notion of perfect number. The fragment has been known since Westerink published it in 1960, and was included both in Van Groningen's edition of Euphorion in 1977 and in Supplementum Hellenisticum. But its implications have still not been discussed, and when David Fowler came to gather the evidence for references to Euclidean material in and after the third century b.c. in The Mathematics of Plato's Academy, his attention, unsurprisingly, was not drawn to it. Euphorion has had a bad press, as a poet of rebarbatively obscure myth and intractable vocabulary; yet he holds some interest, and we may be missing more insights into the intellectual life of the Hellenistic period which the perverse intelligence and baneful wit of the fragments display. (shrink)

This article discusses the identification of the wajhs regarded as weak in Kâsım b. Fîrruh esh-Shâtıbî’s poetical book Ḥırzu’l-emânî wa wajhu’t-tehânî that he wrote to make the differences of seven recitations (kırâ’ât-i sebaʻ) easy to memorize and the status of the practice of these wajhs in the Recitation Education. It is understood that Shatibi weakened these wajhs, sometimes explicitly with expressions such as leyse müʻavvelâ (لَيْسَ مُعَوَّلاَ) and lem yeṣıḥḥa fe yuḥmelâ (لَمْ يَصِحَّ فَيُحْمَلاَ), and sometimes indirectly with words such (...) as yüftelâ (يُفْتَلاَ)”, helhelâ (هَلْهَلاَ), uḫmilâ (اُخْمِلَا)” and mâce (مَاجَ)”. It is seen that there are eight of these wajhs in total; two of them are about method and six of them are about farshi differences. First of all, in the article the relevant wajhs are divided into two as the differences in the method and fersh. Afterwards it is narrated how these wajhs were handled in the significant sources of the qiraat field in addition to the interpretation style of the shârihs whom were accepted as authority in Ḥırzu’l-emânî. Finally, it is remarked that the wajhs of the tarîqs of Istanbul and Egypt which are in circulation in our country moreover the conditions of the practice of these wajhs in the qiraat education activities which are run in Arab world. (shrink)

Bridging the gap between the world of science and the realm of the spiritual, B. Alan Wallace introduces a natural theory of human consciousness that has its roots in contemporary physics and Buddhism. Wallace's "special theory of ontological relativity" suggests that mental phenomena are _conditioned_ by the brain, but do not _emerge_ from it. Rather, the entire natural world of mind and matter, subjects and objects, arises from a unitary dimension of reality that is more fundamental than these dualities, as (...) proposed by Wolfgang Pauli and Carl Jung. To test his hypothesis, Wallace employs the Buddhist meditative practice of _samatha_, refining one's attention and metacognition, to create a kind of telescope to examine the space of the mind. Drawing on the work of the physicist John Wheeler, he then proposes a more general theory in which the participatory nature of reality is envisioned as a self-excited circuit. In comparing these ideas to the Buddhist theory known as the Middle Way philosophy, Wallace explores further aspects of his "general theory of ontological relativity," which can be investigated by means of _vipasyana_, or insight, meditation. Wallace then focuses on the theme of symmetry in reference to quantum cosmology and the "problem of frozen time," relating these issues to the theory and practices of the Great Perfection school of Tibetan Buddhism. He concludes with a discussion of the general theme of complementarity as it relates to science and religion. The theories of relativity and quantum mechanics were major achievements in the physical sciences, and the theory of evolution has had an equally deep impact on the life sciences. However, rigorous scientific methods do not yet exist to observe mental phenomena, and naturalism has its limits for shedding light on the workings of the mind. A pioneer of modern consciousness research, Wallace offers a practical and revolutionary method for exploring the mind that combines the keenest insights of contemporary physicists and philosophers with the time-honored meditative traditions of Buddhism. (shrink)

Bridging the gap between the world of science and the realm of the spiritual, B. Alan Wallace introduces a natural theory of human consciousness that has its roots in contemporary physics and Buddhism. Wallace's "special theory of ontological relativity" suggests that mental phenomena are _conditioned_ by the brain, but do not _emerge_ from it. Rather, the entire natural world of mind and matter, subjects and objects, arises from a unitary dimension of reality that is more fundamental than these dualities, as (...) proposed by Wolfgang Pauli and Carl Jung. To test his hypothesis, Wallace employs the Buddhist meditative practice of _samatha_, refining one's attention and metacognition, to create a kind of telescope to examine the space of the mind. Drawing on the work of the physicist John Wheeler, he then proposes a more general theory in which the participatory nature of reality is envisioned as a self-excited circuit. In comparing these ideas to the Buddhist theory known as the Middle Way philosophy, Wallace explores further aspects of his "general theory of ontological relativity," which can be investigated by means of _vipasyana_, or insight, meditation. Wallace then focuses on the theme of symmetry in reference to quantum cosmology and the "problem of frozen time," relating these issues to the theory and practices of the Great Perfection school of Tibetan Buddhism. He concludes with a discussion of the general theme of complementarity as it relates to science and religion. The theories of relativity and quantum mechanics were major achievements in the physical sciences, and the theory of evolution has had an equally deep impact on the life sciences. However, rigorous scientific methods do not yet exist to observe mental phenomena, and naturalism has its limits for shedding light on the workings of the mind. A pioneer of modern consciousness research, Wallace offers a practical and revolutionary method for exploring the mind that combines the keenest insights of contemporary physicists and philosophers with the time-honored meditative traditions of Buddhism. (shrink)

[1] Sefer Orḥot Ḥayim leha-Rosh ʻim beʼur "ha-Shem orḥotenu" ... 2. Ḳunṭres Be-Shaʻar ha-melekh ʻal haḳdamat ha-Rambam, kolel tsiyunim u-meḳorim u-veʼurim be-divre ha-Rambam ṿeha-Raʼabad ... 3. Ḳunṭres Tashlum yefeh ʻenayim ʻal Seder Zeraʻim u-Ṭehorot, ʻeduyot, Tamid, Midot, Ḳenim ṿe-ʻod ṿe-hu tsiyunim ʻal mas. elu mi-Yerushalmi u-midrashim ... 4. Ḳunṭres Marʼot maḳom, ṿe-hu tsiyunim ʻal ha-meḳomot she-Rashi ṿe-Tos. meviʼim mirdrash o Yerushalmi ṿe-Tosefta ṿe-khu. ṿe-lo tsuyan meḳoro ... 5. Ḳunṭres Ṭeʻama de-ḳara, ṿe-hu ḳetsat ḥidushim ʻal ha-Torah ṿe-ʻal Neviʼim u-Khetuvim -- ḥeleḳ (...) 3. Heʻarot ʻal seder ha-Shas (ṿe-kholel gam ezeh ḳunṭresim). (shrink)